翻訳と辞書 Words near each other ・ Aname ・ Aname atra ・ Anamecia ・ Anamelech ・ Anamenia ・ Anamera ・ Anameristes ・ Anameristes cyclopleura ・ Anameristes doryphora ・ Anameromorpha ・ Anamesa ・ Analytic and enumerative statistical studies ・ Analytic applications ・ Analytic apriori ・ Analytic capacity ・ Analytic combinatorics ・ Analytic confidence ・ Analytic continuation ・ Analytic dissection ・ Analytic element method ・ Analytic frame ・ Analytic Fredholm theorem ・ Analytic function ・ Analytic geometry ・ Analytic hierarchy process ・ Analytic hierarchy process – car example ・ Analytic hierarchy process – leader example ・ Analytic induction ・ Analytic journalism ・ Analytic language Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Analytic combinatorics ： ウィキペディア英語版 Analytic combinatorics In mathematics, analytic combinatorics is one of the many techniques of counting combinatorial objects. It uses the internal structure of the objects to derive formulas for their generating functions and then complex analysis techniques to get asymptotics. This particular theory was mostly developed by Philippe Flajolet, and is detailed in his book with Robert Sedgewick, ''Analytic Combinatorics''. Earlier contributors to the key ideas and techniques include Leonhard Euler, Arthur Cayley, Srinivasa Ramanujan, George Pólya, and Donald Knuth. After Flajolet's death, Wojciech Szpankowski is largely responsible for further developments. Together with Jacek Cichon and Pawel Hitczenko, he created the polish school of Analytic combinatorics. == Classes of combinatorial structures == Consider the problem of distributing objects given by a generating function into a set of ''n'' slots, where a permutation group ''G'' of degree ''n'' acts on the slots to create an equivalence relation of filled slot configurations, and asking about the generating function of the configurations by weight of the configurations with respect to this equivalence relation, where the weight of a configuration is the sum of the weights of the objects in the slots. We will first explain how to solve this problem in the labelled and the unlabelled case and use the solution to motivate the creation of classes of combinatorial structures. The Pólya enumeration theorem solves this problem in the unlabelled case. Let ''f''(''z'') be the ordinary generating function (OGF) of the objects, then the OGF of the configurations is given by the substituted cycle index :$Z(G)(f(z),\; f(z^2),\; \backslash ldots,\; f(z^n)).\backslash ,$ In the labelled case we use an exponential generating function (EGF) ''g''(''z'') of the objects and apply the Labelled enumeration theorem, which says that the EGF of the configurations is given by :$\backslash frac.$ We are able to enumerate filled slot configurations using either PET in the unlabelled case or the labelled enumeration theorem in the labelled case. We now ask about the generating function of configurations obtained when there is more than one set of slots, with a permutation group acting on each. Clearly the orbits do not intersect and we may add the respective generating functions. Suppose, for example, that we want to enumerate unlabelled sequences of length two or three of some objects contained in a set ''X''. There are two sets of slots, the first one containing two slots, and the second one, three slots. The group acting on the first set is $E\_2$, and on the second slot, $E\_3$. We represent this by the following formal power series in ''X'': :$X^2/E\_2\; \backslash ;\; +\; \backslash ;\; X^3/E\_3$ where the term $X^n/G$ is used to denote the set of orbits under ''G'' and $X^n\; =\; X\; \backslash times\; \backslash ldots\; \backslash times\; X$, which denotes in the obvious way the process of distributing the objects from ''X'' with repetition into the ''n'' slots. Similarly, consider the labelled problem of creating cycles of arbitrary length from a set of labelled objects ''X''. This yields the following series of actions of cyclic groups: :$X/C\_1\; \backslash ;\; +\; \backslash ;\; X^2/C\_2\; \backslash ;\; +\; \backslash ;\; X^3/C\_3\; \backslash ;\; +\; \backslash ;\; X^4/C\_4\; \backslash ;\; +\; \backslash cdots.$ Clearly we can assign meaning to any such power series of quotients (orbits) with respect to permutation groups, where we restrict the groups of degree ''n'' to the conjugacy classes $\backslash operatorname(S\_n)$ of the symmetric group $S\_n$, which form a unique factorization domain. (The orbits with respect to two groups from the same conjugacy class are isomorphic.) This motivates the following definition. A class $\backslash mathcal\backslash in\; \backslash mathbb()$ of combinatorial structures is a formal series :$\backslash mathcal\; =\; \backslash sum\_\; \backslash sum\_\; c\_G\; (X^n/G)$ where $\backslash mathfrak$ (the "A" is for "atoms") is the set of primes of the UFD $\backslash \_$ and $c\_G\; \backslash in\; \backslash mathbb.$ In the following we will simplify our notation a bit and write e.g. :$E\_2\; +\; E\_3\; \backslash mbox\; C\_1\; +\; C\_2\; +\; C\_3\; +\; \backslash cdots.$ for the classes mentioned above. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Analytic combinatorics」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.